Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·22hΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comΒ·1d
πŸ”§RISC-V Assembler
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·1d
πŸ”—Combinatory Logic
Flag this post
Building Up And Sanding Down
endler.devΒ·20h
πŸ”©Systems Programming
Flag this post
Rouille – Rust Programming, in French
dev.toΒ·5hΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.orgΒ·2h
πŸ“¦METS Containers
Flag this post
A Short Introduction to Categorical Logic
youtube.comΒ·1d
πŸ”€Category Theory
Flag this post
Durable execution workflow system based on Postgres
github.comΒ·6hΒ·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioΒ·55m
βš™οΈTLA+
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgΒ·16h
πŸ“Log Parsing
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comΒ·5h
πŸ›‘οΈeBPF Security
Flag this post
Swift 6.2: Subprocess
mjtsai.comΒ·20h
🐚Bash Combinators
Flag this post
How to design effective agent workflows?
boliv.substack.comΒ·20mΒ·
Discuss: Substack
⚑Proof Automation
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comΒ·20h
πŸ”“Decompilation
Flag this post
Ajla Tutorial
ajla-lang.czΒ·19hΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comΒ·13h
βœ…Format Verification
Flag this post
Minimal Sufficiency: A Principle β€˜Similar’ to End-to-End
cacm.acm.orgΒ·1hΒ·
Discuss: Hacker News
πŸ”—Network Calculi
Flag this post
Linux Troubleshooting: These 4 Steps Will Fix 99% of Errors
linuxblog.ioΒ·5h
πŸ“ŸTerminal Forensics
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comΒ·18hΒ·
πŸ¦€Rust Macros
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comΒ·2hΒ·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post